Definitions | t T, type List, A List , s = t, x:A B(x), x:A. B(x), [car / cdr], y=f*(x) via L, Type, f(a), x(s1,s2,s3), A, , a < b, x:A B(x), P & Q, #$n, , hd(l), ||as||, Void, P  Q, False, A B, i j , [], left + right, P Q, Dec(P), b, x:A. B(x), b | a, a ~ b, a b, a <p b, a < b, A c B, x f y, x L. P(x), ( x L.P(x)), {T}, P   Q, <a, b>,  |